Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
411	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Maximal Covering by Two Isothetic Unit Squares Priya Ranjan Sinha Mahapatra ∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:08:01 Proof theory Dynamic programming Earley parser Euclidean algorithm Mathematics Mathematical analysis Mathematical logic
412	K-THEORETIC SCHUBERT CALCULUS FOR OG(n, 2n + 1) AND JEU DE TAQUIN FOR SHIFTED INCREASING TABLEAUX EDWARD CLIFFORD, HUGH THOMAS, AND ALEXANDER YONG Abstract. We present a proof of a Littlewood-Richardson rule for the K-th Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-14 13:11:11 Symmetric functions Representation theory Algebraic combinatorics Lambda calculus Young tableau Littlewood–Richardson rule Jeu de taquin Combinatory logic Abstract algebra Algebra Mathematics
413	Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2013-03-11 00:53:25 Logic Formal sciences Frege system Propositional calculus IEEE Symposium on Logic in Computer Science Mathematical logic Logic programming Proof theory Samuel Buss Theoretical computer science Logic in computer science Mathematics
414	ENGG1015: Homework 2 Solution Dr. Hayden So Question 1 Digital Image Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-11-14 12:25:37 C Software engineering Programming language theory Computing Mathematical fallacy Proof theory
415	Tauber’s theorem and Karamata’s proof of the Hardy-Littlewood tauberian theorem Jordan Bell Department of Mathematics, University of Toronto October 12, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-10-12 02:45:40 Continuous function Fourier analysis Probability theory Dirac delta function Bernoulli polynomials Mathematical analysis Mathematics Calculus
416	Canonical Constituents and Non-canonical Coordination Simple Categorial Grammar Account Oleg Kiselyov Tohoku University, Japan Add to Reading List Source URL: okmij.org Language: English - Date: 2015-02-20 23:56:29 Logical syntax Deduction Proof theory Lambda calculus Categorial grammar Coordination Admissible rule Simply typed lambda calculus Entailment Logic Mathematical logic Propositional calculus
417	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-29 07:57:49 Logical syntax Formal languages Formal systems Logical truth Diagrammatic reasoning Mathematical proof Linear logic Formal proof Mathematical logic Logic Mathematics Proof theory
418	Detailed Proof of Lemmas and Theorems 1 Proof of Lemma 2 Add to Reading List Source URL: www.ee.cityu.edu.hk Language: English - Date: 2014-12-31 07:32:40 Mathematics Operator theory Ordinary differential equations Spectral theory Fourier analysis Mathematical analysis Calculus Continuous function
419	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
420	Essays on the Economics of Communication Uliana Makarov A Dissertation Presented to the Faculty Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2012-09-16 17:07:46 Knowledge Mathematical logic Proof theory Critical thinking Evidence law Proof Mathematical proof Theorem Organizational communication Logic Mathematics Communication

UPDATE